YES 0.449
↳ HASKELL
↳ BR
((max :: Ordering -> Ordering -> Ordering) :: Ordering -> Ordering -> Ordering) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((max :: Ordering -> Ordering -> Ordering) :: Ordering -> Ordering -> Ordering) |
import qualified Prelude |
max x y
| x <= y
= y | otherwise
= x
max x y = max2 x y
max1 x y True = y max1 x y False = max0 x y otherwise
max0 x y True = x
max2 x y = max1 x y (x <= y)
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
(max :: Ordering -> Ordering -> Ordering) |
import qualified Prelude |